Reiner Franke's Documents

Reiner Franke's Documents

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Read more
Handbook of Financial Markets: Dynamics and Evolution

Handbook of Financial Markets: Dynamics and Evolution
Read more
Field Programmable Logic and Applications: 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings

Field Programmable Logic and Applications: 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Visualization: Theory and Practice in Science Education (Models and Modeling in Science Education)

Visualization: Theory and Practice in Science Education (Models and Modeling in Science Education)
Read more
Handbook of Financial Markets: Dynamics and Evolution

Handbook of Financial Markets: Dynamics and Evolution
Read more
Bisphosphonat-Manual: Wirkungen - Indikationen - Strategien

Bisphosphonat-Manual: Wirkungen - Indikationen - Strategien
Read more
Theoretische Physik 1. Theoretische Mechanik

Theoretische Physik 1. Theoretische Mechanik
Read more
Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95

Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95
Read more
Theoretische Physik 1: Theoretische Mechanik, 2. Auflage

Theoretische Physik 1: Theoretische Mechanik, 2. Auflage
Read more
Auditing, Trust and Governance: Developing Regulation in Europe

Auditing, Trust and Governance: Developing Regulation in Europe
Read more
Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)

Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)
Read more
Quality Assurance of Agent-Based and Self-Managed Systems

Quality Assurance of Agent-Based and Self-Managed Systems
Read more
Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)

Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)
Read more
Theoretische Physik 1. Theoretische Mechanik

Theoretische Physik 1. Theoretische Mechanik
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Theoretische Physik 3: Quantenmechanik 1

Theoretische Physik 3: Quantenmechanik 1
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Quantitative And Empirical Analysis Of Nonlinear Dynamic Macromodels

Quantitative And Empirical Analysis Of Nonlinear Dynamic Macromodels
Read more
Statistics of Financial Markets: An Introduction (Universitext)

Statistics of Financial Markets: An Introduction (Universitext)
Read more
Pattern Recognition: 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings

Pattern Recognition: 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings
Read more
Computational Forensics, 3 conf., IWCF 2009

Computational Forensics, 3 conf., IWCF 2009
Read more
Statistics of Financial Markets: An Introduction

Statistics of Financial Markets: An Introduction
Read more
Atlas der Anatomie des Menschen: mit Muskeltrainer (Springer-Lehrbuch) (German Edition)

Atlas der Anatomie des Menschen: mit Muskeltrainer (Springer-Lehrbuch) (German Edition)
Read more
Statistics of Financial Markets

Statistics of Financial Markets
Read more
BEST PRACTICE GUIDELINE FOR THE CFD SIMULATION OF FLOWS IN THE URBAN ENVIRONMENT

BEST PRACTICE GUIDELINE FOR THE CFD SIMULATION OF FLOWS IN THE URBAN ENVIRONMENT
Read more
Manifesta 7: Companion

Manifesta 7: Companion
Read more
Integrated Solid Waste Management: a Life Cycle Inventory

Integrated Solid Waste Management: a Life Cycle Inventory
Read more
RFID - Leitfaden fur die Logistik: Anwendungsgebiete, Einsatzmoglichkeiten, Integration, Praxisbeispiele

RFID - Leitfaden fur die Logistik: Anwendungsgebiete, Einsatzmoglichkeiten, Integration, Praxisbeispiele
Read more
Computational Forensics, 3 conf., IWCF 2009

Computational Forensics, 3 conf., IWCF 2009
Read more